From: Stéphane Glondu <glondu@debian.org>
Date: Sun, 1 Mar 2026 21:23:34 +0000 (+0100)
Subject: Print .cmi flags in objinfo
X-Git-Tag: archive/raspbian/5.4.1-1+rpi1^2~1
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=fc7bc273844f4246b975a90b7ff3e4747e4fc109;p=ocaml.git

Print .cmi flags in objinfo


Gbp-Pq: Name Print-.cmi-flags-in-objinfo.patch
---

diff --git a/tools/objinfo.ml b/tools/objinfo.ml
index 83e36593..f16194ac 100644
--- a/tools/objinfo.ml
+++ b/tools/objinfo.ml
@@ -85,9 +85,21 @@ let print_cma_infos (lib : Cmo_format.library) =
   printf "\n";
   List.iter print_cmo_infos lib.lib_units
 
-let print_cmi_infos name crcs =
+let print_cmi_infos name crcs flags =
+  let open Cmi_format in
   if not !quiet then begin
     printf "Unit name: %s\n" name;
+    printf "Flags: [ ";
+    begin
+      flags
+      |> List.map (function
+             | Rectypes -> "Rectypes"
+             | Opaque -> "Opaque"
+             | Alerts _ -> "Alerts _")
+      |> String.concat "; "
+      |> printf "%s"
+    end;
+    printf " ]\n";
     printf "Interfaces imported:\n";
     List.iter print_name_crc crcs
   end
@@ -370,6 +382,7 @@ let dump_obj_by_kind filename ic obj_kind =
          | None -> ()
          | Some cmi ->
             print_cmi_infos cmi.Cmi_format.cmi_name cmi.Cmi_format.cmi_crcs
+              cmi.Cmi_format.cmi_flags
        end;
        begin match cmt with
          | None -> ()